1. Domain Theory, Logic and Computation :
Author: edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
QA76
.
7
E358
2003
2. Domains and Processes :
Author: edited by Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
QA76
.
7
E358
2001
3. Dynamic Worlds
Author: edited by Remo Pareschi, Bertram Fronhöfer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
4. Formal Ontology and Conceptual Realism
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Philosophy (General). ; Logic. ; Philosophy, medieval. ; Metaphysics. ; Ontology. ; Linguistics ; Philosophy. ; Computer science. ; Philosophy. ; Ontology. ; Logic. ; Philosophy of Language. ; Medieval Philosophy. ; Mathematical Logic and Formal Languages
5. Logical Thinking in the Pyramidal Schema of Concepts
Author: / Lutz Geldsetzer, Richard L. Schwartz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
Classification :
QA9
.
G325
2013
6. New Essays in Free Logic
Author: edited by Edgar Morscher, Alexander Hieke.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General).,Semantics.
7. Philosophical Logic and Artificial Intelligence
Author: edited by Richmond H. Thomason.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
BC71
.
E358
1989
